/**
 * Sphinx stylesheet -- default theme
 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 */

@import url("basic.css");

/* -- page layout ----------------------------------------------------------- */

body {
    font-family: sans-serif;
    font-size: 100%;
    background-color: #11303d;
    color: #000;
    margin: 0;
    padding: 0;
}

div.document {
    background-color: #1c4e63;
}

div.documentwrapper {
    float: left;
    width: 100%;
}

div.bodywrapper {
    margin: 0 0 0 230px;
}   

div.body {
    background-color: #ffffff;
    color: #000000;
    padding: 0 20px 30px 20px;
}

div.footer {
    color: #ffffff;
    width: 100%;
    padding: 9px 0 9px 0;
    text-align: center;
    font-size: 75%;
}

div.footer a {
    color: #ffffff;
    text-decoration: underline;
}

div.related {
    background-color: #133f52;
    line-height: 30px;
    color: #ffffff;
}

div.related a {
    font-size: 120%;
    color: #c0c0FF;
}

div.sphinxsidebar {
}

div.sphinxsidebar h3 {
    font-family: 'Trebuchet MS', sans-serif;
    color: #ffffff;
    font-size: 1.4em;
    font-weight: normal;
    margin: 0;
    padding: 0;
}

div.sphinxsidebar h3 a {
    color: #ffffff;
}

div.sphinxsidebar h4 {
    font-family: 'Trebuchet MS', sans-serif;
    color: #ffffff;
    font-size: 1.3em;
    font-weight: normal;
    margin: 5px 0 0 0;
    padding: 0;
}

div.sphinxsidebar p {
    color: #ffffff;
}

div.sphinxsidebar p.topless {
    margin: 5px 10px 10px 10px;
}

div.sphinxsidebar ul {
    font-size: 100%;
    margin: 10px;
    padding: 0;
    color: #ffffff;
}

div.sphinxsidebar a {
    color: #98dbcc;
}

div.sphinxsidebar input {
    border: 1px solid #98dbcc;
    font-family: sans-serif;
    font-size: 1em;
}

/* -- Leo's styles ----------------------------------------------------------- */
div.paper_name {
    border: 1px solid #98dbcc;
    font-family: serif;
}

span.paper_authors {
    font-weight: bold;
}

span.paper_title {
    font-weight: italic;
}
span.paper_title {
    font-style:italic;
}


/* -- body styles ----------------------------------------------------------- */

a {
    color: #355f7c;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

div.body p, div.body dd, div.body li {
    text-align: justify;
    line-height: 130%;
}

div.body h1,
div.body h2,
div.body h3,
div.body h4,
div.body h5,
div.body h6 {
    font-family: 'Trebuchet MS', sans-serif;
    background-color: #f2f2f2;
    font-weight: normal;
    color: #20435c;
    border-bottom: 1px solid #ccc;
    margin: 20px -20px 10px -20px;
    padding: 3px 0 3px 10px;
}

div.body h1 { margin-top: 0; font-size: 200%; color: #FF0080; font-weight:bold; background-color:#F0F0C0}
div.body h3 { font-size: 140%; color: #800080; margin-left: 0px; margin-top: 40px ;font-style:italic;}        
div.body h4 { font-size: 110%; color: #008000; margin-left: 10px; margin-top: 40px;background-color: #F0F0F0;} 
div.body h5 { font-size: 90%; }
div.body h6 { font-size: 80%; }

a.headerlink {
    color: #c60f0f;
    font-size: 0.8em;
    padding: 0 4px 0 4px;
    text-decoration: none;
}

a.headerlink:hover {
    background-color: #c60f0f;
    color: white;
}

div.body p, div.body dd, div.body li {
    text-align: justify;
    line-height: 130%;
}

div.admonition p.admonition-title + p {
    display: inline;
}

div.note {
    background-color: #eee;
    border: 1px solid #ccc;
}

div.seealso {
    background-color: #ffc;
    border: 1px solid #ff6;
}

div.topic {
    background-color: #eee;
}

div.warning {
    background-color: #ffe4e4;
    border: 1px solid #f66;
}

p.admonition-title {
    display: inline;
}

p.admonition-title:after {
    content: ":";
}

pre {
    padding: 5px;
    background-color: #eeffcc;
    color: #333333;
    line-height: 120%;
    border: 1px solid #ac9;
    border-left: none;
    border-right: none;
}

td,th {
     text-indent: 5px;
}



/*
   added by me
*/
div h1 a, div h2 a, div h3 a {
    font-family: monospace;
    font-weight: normal;
    color: #0000ff;
    font-style: normal;
}

div h2 .pre, div h3 .pre {
    font-family: monospace;
    font-weight: normal;
    color: #0000ff;
    font-style: italic;
}

div.body h3 cite
{
    font-family: monospace;
    font-weight: normal;
    color: #0000ff;
    font-style: normal;
    font-size: 90%; 
}

div.body h3 em
{
    font-weight: normal;
    color: #000000;
    font-style: normal;
    font-size: 80%; 
}

div.body h2 em
{
    font-family: monospace;
    font-weight: normal;
    color: #800080;
    font-style: normal;
    font-size: 100%; 
}
div.body h2 cite
{
    font-family: monospace;
    font-weight: normal;
    color: #0000ff;
    font-style: italic;
    font-size: 80%; 
}

div.body h1 em
{
    font-family: monospace;
    font-weight: normal;
    color: #0088FF;
    font-size: 100%; 
}

dt em
{
    font-family: monospace;
    color: #0000ff;
    font-style: italic;
    font-size: 120%; 
}
h1 .pre { color: #0000FF; font-family: "courier",monospace; font-weight:normal}
div.body h2 { font-size: 200%; }
